An integrated environment for the development, reversible execution, logic-based animation and visual debugging of C programs. Snapshots, animations, online manual, download and related links too.
An integrated C programming environment for reversible execution and logic-based software visualization developed at the University of Rome "La Sapienza".
A workshop on approximation algorithms for combinatorial optimization problems focussing on algorithmic and complexity aspects arising in the development of efficient approximate solutions to computationally difficult problems. It aims, in particular,...